문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 명제 논리 (문단 편집) === [[조건문]](If ... Then ...; →, ⊃, Ɔ[* 이때 '⊃'는 [[집합론]]에서의 진부분집합을 나타내는 기호와 생김새가 비슷하지만 '''완전히 다른 개체임에 유의할 것.''' 즉 [[변항]]이 [[명제]]라는게 확실한 경우 "[math(\phi)]⊃[math(\psi)]"라는 표현을 볼 경우 이건 (수학처럼) "[math(\phi\leftarrow\psi)]"로 봐야 하는 게 아니라 '''정반대인''' "[math(\phi\to\psi)]"로 이해해야한다. 따라서 "[math(P\to Q)]"는 "[math(P)]⊃[math(Q)]"와 같은 의미지, 수학에서 흔히 알고 있는 "[math(P\subset Q)]"가 아니다. "[math(\phi)]이면 [math(\psi)]다"라는 조건문이 부분집합 관계와 같은 것으로 생각하기 쉽기에 "[math(\phi\to\psi)]"를 "[math(\phi\subset\psi)]"라고 써야한다고 착각할 수 있다. 이 때문에 해외에서는 [math(\text{Ɔ})]로 구분해서 쓰는 [[https://philosophy.stackexchange.com/questions/31029/why-was-the-horseshoe-symbol-⊃-selected-for-material-implication/31031|경우]]도 있었다.]) === '''실질 조건문(material conditional)''' ([math(\to)], [math(\supset)], [math(\text{Ɔ})]) [math(P\to Q)]는 [math(P)]가 거짓이거나 [math(Q)]가 참인 경우 오직 그 경우에 참이다. 즉 [math(P)]가 참이고 [math(Q)]가 거짓인 경우를 제외하면 모두 참이다. 이때 [math(P)]를 "전건(antecedent)", [math(Q)]를 "후건(consequent)"이라고 부른다. || '''P''' || '''Q''' || '''P → Q''' || ||T||T|| T || ||T||F|| F || ||F||T|| T || ||F||F|| T || [[동치]] 문서에도 나와 있듯이, 실질 조건 문장은 정의상 선언 문장과 논리적 동치다. [math(\left(p\to q\right)\equiv\left(\neg p\vee q\right))]저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기